Integrand size = 27, antiderivative size = 93 \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=-\frac {2 \sqrt {a} \text {arctanh}\left (\frac {\sqrt {a} \cos (c+d x)}{\sqrt {a+a \sin (c+d x)}}\right )}{d}+\frac {2 a \cos (c+d x)}{3 d \sqrt {a+a \sin (c+d x)}}+\frac {2 \cos (c+d x) \sqrt {a+a \sin (c+d x)}}{3 d} \]
[Out]
Time = 0.24 (sec) , antiderivative size = 93, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.185, Rules used = {2953, 3055, 3060, 2852, 212} \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=-\frac {2 \sqrt {a} \text {arctanh}\left (\frac {\sqrt {a} \cos (c+d x)}{\sqrt {a \sin (c+d x)+a}}\right )}{d}+\frac {2 \cos (c+d x) \sqrt {a \sin (c+d x)+a}}{3 d}+\frac {2 a \cos (c+d x)}{3 d \sqrt {a \sin (c+d x)+a}} \]
[In]
[Out]
Rule 212
Rule 2852
Rule 2953
Rule 3055
Rule 3060
Rubi steps \begin{align*} \text {integral}& = \frac {\int \csc (c+d x) (a-a \sin (c+d x)) (a+a \sin (c+d x))^{3/2} \, dx}{a^2} \\ & = \frac {2 \cos (c+d x) \sqrt {a+a \sin (c+d x)}}{3 d}+\frac {2 \int \csc (c+d x) \sqrt {a+a \sin (c+d x)} \left (\frac {3 a^2}{2}-\frac {1}{2} a^2 \sin (c+d x)\right ) \, dx}{3 a^2} \\ & = \frac {2 a \cos (c+d x)}{3 d \sqrt {a+a \sin (c+d x)}}+\frac {2 \cos (c+d x) \sqrt {a+a \sin (c+d x)}}{3 d}+\int \csc (c+d x) \sqrt {a+a \sin (c+d x)} \, dx \\ & = \frac {2 a \cos (c+d x)}{3 d \sqrt {a+a \sin (c+d x)}}+\frac {2 \cos (c+d x) \sqrt {a+a \sin (c+d x)}}{3 d}-\frac {(2 a) \text {Subst}\left (\int \frac {1}{a-x^2} \, dx,x,\frac {a \cos (c+d x)}{\sqrt {a+a \sin (c+d x)}}\right )}{d} \\ & = -\frac {2 \sqrt {a} \text {arctanh}\left (\frac {\sqrt {a} \cos (c+d x)}{\sqrt {a+a \sin (c+d x)}}\right )}{d}+\frac {2 a \cos (c+d x)}{3 d \sqrt {a+a \sin (c+d x)}}+\frac {2 \cos (c+d x) \sqrt {a+a \sin (c+d x)}}{3 d} \\ \end{align*}
Time = 0.69 (sec) , antiderivative size = 143, normalized size of antiderivative = 1.54 \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\frac {\sqrt {a (1+\sin (c+d x))} \left (3 \cos \left (\frac {1}{2} (c+d x)\right )+\cos \left (\frac {3}{2} (c+d x)\right )-3 \log \left (1+\cos \left (\frac {1}{2} (c+d x)\right )-\sin \left (\frac {1}{2} (c+d x)\right )\right )+3 \log \left (1-\cos \left (\frac {1}{2} (c+d x)\right )+\sin \left (\frac {1}{2} (c+d x)\right )\right )-3 \sin \left (\frac {1}{2} (c+d x)\right )+\sin \left (\frac {3}{2} (c+d x)\right )\right )}{3 d \left (\cos \left (\frac {1}{2} (c+d x)\right )+\sin \left (\frac {1}{2} (c+d x)\right )\right )} \]
[In]
[Out]
Time = 0.10 (sec) , antiderivative size = 103, normalized size of antiderivative = 1.11
method | result | size |
default | \(-\frac {2 \left (1+\sin \left (d x +c \right )\right ) \sqrt {-a \left (\sin \left (d x +c \right )-1\right )}\, \left (3 a^{\frac {3}{2}} \operatorname {arctanh}\left (\frac {\sqrt {a -a \sin \left (d x +c \right )}}{\sqrt {a}}\right )+\left (a -a \sin \left (d x +c \right )\right )^{\frac {3}{2}}-3 \sqrt {a -a \sin \left (d x +c \right )}\, a \right )}{3 a \cos \left (d x +c \right ) \sqrt {a +a \sin \left (d x +c \right )}\, d}\) | \(103\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 250 vs. \(2 (79) = 158\).
Time = 0.28 (sec) , antiderivative size = 250, normalized size of antiderivative = 2.69 \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\frac {3 \, \sqrt {a} {\left (\cos \left (d x + c\right ) + \sin \left (d x + c\right ) + 1\right )} \log \left (\frac {a \cos \left (d x + c\right )^{3} - 7 \, a \cos \left (d x + c\right )^{2} - 4 \, {\left (\cos \left (d x + c\right )^{2} + {\left (\cos \left (d x + c\right ) + 3\right )} \sin \left (d x + c\right ) - 2 \, \cos \left (d x + c\right ) - 3\right )} \sqrt {a \sin \left (d x + c\right ) + a} \sqrt {a} - 9 \, a \cos \left (d x + c\right ) + {\left (a \cos \left (d x + c\right )^{2} + 8 \, a \cos \left (d x + c\right ) - a\right )} \sin \left (d x + c\right ) - a}{\cos \left (d x + c\right )^{3} + \cos \left (d x + c\right )^{2} + {\left (\cos \left (d x + c\right )^{2} - 1\right )} \sin \left (d x + c\right ) - \cos \left (d x + c\right ) - 1}\right ) + 4 \, {\left (\cos \left (d x + c\right )^{2} + {\left (\cos \left (d x + c\right ) - 1\right )} \sin \left (d x + c\right ) + 2 \, \cos \left (d x + c\right ) + 1\right )} \sqrt {a \sin \left (d x + c\right ) + a}}{6 \, {\left (d \cos \left (d x + c\right ) + d \sin \left (d x + c\right ) + d\right )}} \]
[In]
[Out]
\[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\int \sqrt {a \left (\sin {\left (c + d x \right )} + 1\right )} \cos ^{2}{\left (c + d x \right )} \csc {\left (c + d x \right )}\, dx \]
[In]
[Out]
\[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\int { \sqrt {a \sin \left (d x + c\right ) + a} \cos \left (d x + c\right )^{2} \csc \left (d x + c\right ) \,d x } \]
[In]
[Out]
none
Time = 0.36 (sec) , antiderivative size = 132, normalized size of antiderivative = 1.42 \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\frac {\sqrt {2} {\left (8 \, \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} - 3 \, \sqrt {2} \log \left (\frac {{\left | -2 \, \sqrt {2} + 4 \, \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right ) \right |}}{{\left | 2 \, \sqrt {2} + 4 \, \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right ) \right |}}\right ) \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) - 12 \, \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )} \sqrt {a}}{6 \, d} \]
[In]
[Out]
Timed out. \[ \int \cos (c+d x) \cot (c+d x) \sqrt {a+a \sin (c+d x)} \, dx=\int \frac {{\cos \left (c+d\,x\right )}^2\,\sqrt {a+a\,\sin \left (c+d\,x\right )}}{\sin \left (c+d\,x\right )} \,d x \]
[In]
[Out]